Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group

Source URL: repository.readscheme.org

• Programming paradigms
• Programming language implementation
• Functional languages
• Evaluation strategy
• Partial evaluation
• Type system
• Compiler
• Prolog
• Logic programming
• XPL
• Interpreter
• Generic programming

02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013

Source URL: www.imm.dtu.dk

• Lambda calculus
• Combinatory logic
• Lambda calculus definition
• Reduction strategy
• Free variables and bound variables
• Lambda
• Fixed-point combinator
• Anonymous function
• Term
• Variable
• Beta normal form

Solving Games with Functional Regret Estimation Kevin Waugh† Dustin Morrill∗ J. Andrew Bagnell†

Source URL: poker.cs.ualberta.ca

• Game theory
• Statistics
• Mathematics
• Statistical theory
• Linear regression
• Regret
• Minimax
• Nash equilibrium
• Regression analysis
• Strategy
• Normal distribution
• Abstraction

Software Testing Techniques Technology Maturation and Research Strategy Class Report for 17-939A Lu Luo Institute for Software Research International

Source URL: www.cs.cmu.edu

• Software testing
• Engineering
• Software engineering
• Evaluation
• White-box testing
• Integration testing
• Acceptance testing
• Unit testing
• Reliability engineering
• Functional testing
• Test automation
• System testing

Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Evaluation strategy
• Programming paradigms
• Lambda calculus
• Functional languages
• Reactive programming
• Functional reactive programming
• Scala
• Ur

Using a Cross-functional Team for Effective Capital Planning Investment Control (CPIC) CPIC is more about strategy and planning of capital assets than

Source URL: www.integritymc.com

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Continuations
• Functional programming
• Continuation-passing style
• Programming language semantics
• Eval
• Evaluation strategy
• Continuation
• Lambda calculus
• Operational semantics
• Software engineering
• Computing
• Control flow

Report of the Supervisory Board Main 2014 activities Review of the company’s strategy and actions including Business Area and functional updates. Review and monitoring of the company’s

Source URL: www.akzonobel.com

• Accountancy
• Corporations law
• Management
• Risk
• Committees
• Audit committee
• Internal audit
• Auditor independence
• Audit
• Auditing
• Business
• Corporate governance

www.localmanagement.eu Best Practice: Implementation Matrix for the Lahti urban area environmental strategy Lahti functional urban area in Finland comprises of three cities - Hollola, Lahti and Nastola - and over

Source URL: www.climatechampions.eu

Functional nanoparticles for ROS detection in MRI A novel strategy to monitor production of Reactive oxygen species with MRI Technology

Source URL: www.campus-technologies.de

• Scientific method
• Magnetic resonance imaging
• Nanotechnology
• MRI contrast agent
• Medical physics
• Hydrogen peroxide
• Nanoparticle
• Superparamagnetism
• Nuclear magnetic resonance
• Chemistry
• Science
• Nanomaterials